mini-os: arm: time
authorThomas Leonard <talex5@gmail.com>
Fri, 3 Oct 2014 09:20:48 +0000 (10:20 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 8 Jan 2015 15:49:44 +0000 (15:49 +0000)
commitc802edc15a6773d60c60cf88cc293192addbc0fa
treeeaef0a0f922cf1465afc5913a7c7b7d61687b0e4
parentace4e40029167123e706006583ec87c88731081a
mini-os: arm: time

Based on an initial patch by Karim Raslan.

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/arch/arm/time.c [new file with mode: 0644]